First-order logic - PDFSEARCH.IO - Document Search Engine

First-order logic
Results: 1172

#	Item
461	Efficient Rule-Matching for Automated Coherent Logic Bjarne Holen, Dag Hovland , and Martin Giese, Department of Informatics, University of Oslo, Norway Abstract Coherent logic is a syntactically defined fragment of firs Add to Reading List Source URL: www.nik.no Language: English - Date: 2013-01-14 07:43:26 Automated theorem proving Rules of inference Logic programming Predicate logic Rete algorithm First-order logic Resolution Production system Admissible rule Logic Mathematics Mathematical logic
462	TFF1: The TPTP Typed First-Order Form with Rank-1 Polymorphism Jasmin Christian Blanchette1 and Andrei Paskevich2,3 1 Fakultät für Informatik, Technische Universität München, Germany Add to Reading List Source URL: www21.in.tum.de Language: English - Date: 2015-01-25 16:18:54 Logic Linguistics Philosophical logic Symbol Mixing Interpretation
463	Robust, Semi-Intelligible Isabelle Proofs from ATP Proofs Steffen Juilf Smolka and Jasmin Christian Blanchette Technische Universität München, Germany Abstract Sledgehammer integrates external automatic theorem provers Add to Reading List Source URL: www21.in.tum.de Language: English - Date: 2013-05-15 10:49:35 Model theory Automated theorem proving Predicate logic First-order logic Herbrandization Mathematical proof Isabelle Proof assistant Constructible universe Mathematics Mathematical logic Logic
464	Fall 2008 CMPT 310: Introduction to Artificial Intelligence Instructor: Greg Mori Assignment 3: Logic Add to Reading List Source URL: www.cs.sfu.ca Language: English - Date: 2008-10-03 19:20:29 Model theory Boolean algebra Propositional calculus First-order logic If and only if Logic Mathematical logic Mathematics
465	The reflective Milawa theorem prover is sound (down to the machine code that runs it) Magnus O. Myreen1 and Jared Davis2 1 Computer Laboratory, University of Cambridge, UK Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2014-05-14 09:11:06 Lisp programming language Functional languages Model theory ACL2 Automated theorem proving Nqthm First-order logic Common Lisp Lisp Computing Software engineering Computer programming
466	Noname manuscript No. (will be inserted by the editor) Relational Analysis of (Co)inductive Predicates, (Co)algebraic Datatypes, and (Co)recursive Functions Jasmin Christian Blanchette Add to Reading List Source URL: www21.in.tum.de Language: English - Date: 2015-01-25 16:18:54 Model theory Computability theory Functions and mappings Models of computation Functional languages Lambda calculus Interpretation Function First-order logic Mathematical logic Mathematics Logic
467	Redirecting Proofs by Contradiction Jasmin Christian Blanchette Technische Universität München, Germany Abstract This paper presents an algorithm that redirects proofs by contradiction. The input is a refutation graph, Add to Reading List Source URL: www21.in.tum.de Language: English - Date: 2013-05-17 11:36:21 Proof theory Automated theorem proving Rules of inference Mathematical proofs Sequent Natural deduction Proof by contradiction Resolution First-order logic Logic Mathematics Mathematical logic
468	Introduction Logic for Serious Database Folks Series by David McGoveran, Alternative Technologies "Against logic there is no armor like ignorance." – Laurence J. Peter For well over twenty years I have been asked to e Add to Reading List Source URL: www.alternativetech.com Language: English Metalogic Mathematical logic Non-classical logic Fuzzy logic David McGoveran Relational model Interpretation First-order logic Database theory Logic Philosophical logic Model theory
469	TFF1: The TPTP Typed First-Order Form with Rank-1 Polymorphism Jasmin Christian Blanchette1 and Andrei Paskevich2,3 1 Fakultät für Informatik, Technische Universität München, Germany Add to Reading List Source URL: www21.in.tum.de Language: English - Date: 2015-01-25 16:18:54 Type theory Formal methods Model theory Functional programming Data types Symbol Satisfiability Modulo Theories Hindley–Milner Geoff Sutcliffe Theoretical computer science Mathematics Mathematical logic
470	The Ackermann Award 2013 Anuj Dawar, Thomas A. Henzinger, and Damian Niwiński Members of EACSL Jury of the Ackermann Award The ninth Ackermann Award is presented at CSL’13, held in Turin, Italy. This year, as in the p Add to Reading List Source URL: drops.dagstuhl.de Language: English - Date: 2013-08-27 05:13:12 Philosophical logic Logic in computer science Game semantics Game theory Quantification Temporal logic First-order logic Logic Mathematical logic Mathematics

UPDATE